Koha online catalog › Results of search for 'su:"Science"'

	1.	Adapting proofs-as-programs : the Curry-Howard protocol by Crossley, John N \| Poernomo, Iman Hafiz \| Wirsing, Martin. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1). Place hold
	2.	Reverse Engineering of Object Oriented Code by Potrich, Alessandra \| Tonella, Paolo. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.117 TON] (1). Place hold
	3.	Theory of objects by Abadi, Martin \| Cardelli, Luca. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1998Availability: Items available for loan: [Call number: 005.131 ABA] (1). Place hold
	4.	Computer systems : theory, technology, and applications by Sparck Jones, Karen \| Herbert, Andrew J. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York Springer 2004Availability: Items available for loan: [Call number: 005.12 HER] (1). Place hold

Koha online